var class_player =
[
    [ "Player", "class_player.html#affe0cc3cb714f6deb4e62f0c0d3f1fd8", null ],
    [ "Visit", "class_player.html#a7c80a58d8789efc3239c7629e139e544", null ],
    [ "Visit", "class_player.html#a3dd4a53b3256ce55e75390c3f6a09613", null ],
    [ "Visit", "class_player.html#ac700c2869665f52e96cf80c95abc9c46", null ]
];